Correction to: Dynamics of lying

Dynamics of lying

We propose a dynamic logic of lying, wherein a ‘lie that φ’ (where φ is a formula in the logic) is an action in the sense of dynamic modal logic, that is interpreted as a state transformer relative to the formula φ. The states that are being transformed are pointed Kripke models encoding the uncertainty of agents about their beliefs. Lies can be about factual propositions but also about modal f...

The Ditmarsch Tale of Wonders — Dynamics of Lying

The Ditmarsch Tale of Wonders - The Dynamics of Lying

We propose a dynamic logic of lying, wherein a 'lie that ϕ' (where ϕ is a formula in the logic) is an action in the sense of dynamic modal logic, that is interpreted as a state transformer relative to the formula ϕ. The states that are being transformed are pointed Kripke models encoding the uncertainty of agents about their beliefs. Lies can be about factual propositions but also about modal f...

Lying to the Future

I lied to the future last night. I told it that soon it would be big and strong and profitable. I then tucked it into its crib, turned off the lights, and hoped the day would never come when the future would curse this lie. I not only assured the future it would someday be strong and profitable, I also told it how it would strong and profitable. My lie was a little more prosaic than my words su...

Base-Invariant Symmetric Dynamics of llee-1.!’lying Space Manipuhtors

I%e-jlying space manipulators have a symmetry not normally encountered in terrestrial . . manipulators, arising from the freedom oj choice jor the manipulator base-body. This paper analyzes the ndationship between this natuml symmetry and the dynamical equations oj space manipulators. The symmetry is used to develop a new formulation oj the manipulator dynamics in which two independent O(JU) ~c...